#Density : 312175998645134270168977801/2000000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {6, 7, 8, 9, 11, 13}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
924295411771181707995347289/1000000000000000000000000000 -619344367007314107099928167/1000000000000000000000000000 -33625302988616477831551671/1000000000000000000000000000 -99942383962193257359560817/200000000000000000000000000 67019041957228731384904053/125000000000000000000000000 -128153682257713352235124743/1000000000000000000000000000
-619344367007314107099928167/1000000000000000000000000000 422940464342010042620169651/1000000000000000000000000000 26335332403760267993753463/1000000000000000000000000000 60891065387621255346044751/200000000000000000000000000 -156834986345049684281834661/500000000000000000000000000 52742205197754404856425829/1000000000000000000000000000
-33625302988616477831551671/1000000000000000000000000000 26335332403760267993753463/1000000000000000000000000000 3046800646229514928739619/1000000000000000000000000000 722420572143060715189023/200000000000000000000000000 1175106533290799197641657/500000000000000000000000000 -11219600038428652402090323/1000000000000000000000000000
-99942383962193257359560817/200000000000000000000000000 60891065387621255346044751/200000000000000000000000000 722420572143060715189023/200000000000000000000000000 15461306239990198538109897/40000000000000000000000000 -11611331944034857592163309/25000000000000000000000000 39230989999762842458164719/200000000000000000000000000
67019041957228731384904053/125000000000000000000000000 -156834986345049684281834661/500000000000000000000000000 1175106533290799197641657/500000000000000000000000000 -11611331944034857592163309/25000000000000000000000000 286469016049725793324348917/500000000000000000000000000 -66170250430656060380546997/250000000000000000000000000
-128153682257713352235124743/1000000000000000000000000000 52742205197754404856425829/1000000000000000000000000000 -11219600038428652402090323/1000000000000000000000000000 39230989999762842458164719/200000000000000000000000000 -66170250430656060380546997/250000000000000000000000000 156087996608661370497933441/1000000000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
70078321074729155579003327/500000000000000000000000000 1811983515626847214002809/31250000000000000000000000 69274418159413087924421909/1000000000000000000000000000 1404864150058423221821991/10000000000000000000000000 45939978346478736645770393/500000000000000000000000000 -257758657072146847928780493/1000000000000000000000000000 14555884471166810075533117/100000000000000000000000000 -52399415814061670861296379/200000000000000000000000000 -149153786476786697496500859/1000000000000000000000000000 44446946801748689006044489/1000000000000000000000000000 -178432457826178943251414831/1000000000000000000000000000 -36627264622824690159985191/250000000000000000000000000
1811983515626847214002809/31250000000000000000000000 1462589204881395853498254499/200000000000000000000000000 -928858599880037668265037731/500000000000000000000000000 349113638125263622851647067/250000000000000000000000000 -1801865472807915942989844917/500000000000000000000000000 -288089715714446520431738811/500000000000000000000000000 -1459479134982454613064855157/1000000000000000000000000000 -6621227008846067130455402267/1000000000000000000000000000 -2081617727594336985870990529/1000000000000000000000000000 1831297816808988965848821263/500000000000000000000000000 -4201053574791443775855121081/1000000000000000000000000000 -550270104667967748959702659/1000000000000000000000000000
69274418159413087924421909/1000000000000000000000000000 -928858599880037668265037731/500000000000000000000000000 522432525179695701903410983/1000000000000000000000000000 -276922498723521704954879661/1000000000000000000000000000 61743303585488766682166441/62500000000000000000000000 -5883431659163892877742319/1000000000000000000000000000 465241008635632828807288781/1000000000000000000000000000 48625663680199367426537729/31250000000000000000000000 17961208428107671458323721/40000000000000000000000000 -184229887364590626938993639/200000000000000000000000000 489966154036214371291182743/500000000000000000000000000 543090562367281057996773/10000000000000000000000000
1404864150058423221821991/10000000000000000000000000 349113638125263622851647067/250000000000000000000000000 -276922498723521704954879661/1000000000000000000000000000 193275127771668346633511529/500000000000000000000000000 -14414216642931023149738221/25000000000000000000000000 -344578590582951798364304517/1000000000000000000000000000 -416038207407818645227119/3125000000000000000000000 -1458443743624739351534373453/1000000000000000000000000000 -520383303174272037925495587/1000000000000000000000000000 713669042326382962495044843/1000000000000000000000000000 -936659086116252029025590451/1000000000000000000000000000 -118380302227303787085235209/500000000000000000000000000
45939978346478736645770393/500000000000000000000000000 -1801865472807915942989844917/500000000000000000000000000 61743303585488766682166441/62500000000000000000000000 -14414216642931023149738221/25000000000000000000000000 1879735736694229189071532211/1000000000000000000000000000 65621232738045117472786311/1000000000000000000000000000 42734976237650253183161719/50000000000000000000000000 616444128438345516591584783/200000000000000000000000000 911419554910463592518689877/1000000000000000000000000000 -447899561323966337145473363/250000000000000000000000000 972548082458104505343648031/500000000000000000000000000 148601150418584310254272283/1000000000000000000000000000
-257758657072146847928780493/1000000000000000000000000000 -288089715714446520431738811/500000000000000000000000000 -5883431659163892877742319/1000000000000000000000000000 -344578590582951798364304517/1000000000000000000000000000 65621232738045117472786311/1000000000000000000000000000 252142457676229051624030413/500000000000000000000000000 -6791885707155006440686233/40000000000000000000000000 901379390314005467972140347/1000000000000000000000000000 202212355237721949677768409/500000000000000000000000000 -316495540806101581081586517/1000000000000000000000000000 29701045427036022619006527/50000000000000000000000000 300984283808029899562520961/1000000000000000000000000000
14555884471166810075533117/100000000000000000000000000 -1459479134982454613064855157/1000000000000000000000000000 465241008635632828807288781/1000000000000000000000000000 -416038207407818645227119/3125000000000000000000000 42734976237650253183161719/50000000000000000000000000 -6791885707155006440686233/40000000000000000000000000 468015734265055771157070293/1000000000000000000000000000 67861641262652120911744411/62500000000000000000000000 26623498055995016658332039/100000000000000000000000000 -713632092373335794480727539/1000000000000000000000000000 67519014394903975551869861/100000000000000000000000000 -50065662544860937637587651/1000000000000000000000000000
-52399415814061670861296379/200000000000000000000000000 -6621227008846067130455402267/1000000000000000000000000000 48625663680199367426537729/31250000000000000000000000 -1458443743624739351534373453/1000000000000000000000000000 616444128438345516591584783/200000000000000000000000000 901379390314005467972140347/1000000000000000000000000000 67861641262652120911744411/62500000000000000000000000 1261822598860755728632574557/200000000000000000000000000 1041824804655427386150239231/500000000000000000000000000 -1669630895561648382988568183/500000000000000000000000000 502664790165240202672577987/125000000000000000000000000 355696019086533386280196313/500000000000000000000000000
-149153786476786697496500859/1000000000000000000000000000 -2081617727594336985870990529/1000000000000000000000000000 17961208428107671458323721/40000000000000000000000000 -520383303174272037925495587/1000000000000000000000000000 911419554910463592518689877/1000000000000000000000000000 202212355237721949677768409/500000000000000000000000000 26623498055995016658332039/100000000000000000000000000 1041824804655427386150239231/500000000000000000000000000 718485435518856623088169549/1000000000000000000000000000 -1057181023269218538268858893/1000000000000000000000000000 1333623850276240754489959509/1000000000000000000000000000 2278186835911481144419589/7812500000000000000000000
44446946801748689006044489/1000000000000000000000000000 1831297816808988965848821263/500000000000000000000000000 -184229887364590626938993639/200000000000000000000000000 713669042326382962495044843/1000000000000000000000000000 -447899561323966337145473363/250000000000000000000000000 -316495540806101581081586517/1000000000000000000000000000 -713632092373335794480727539/1000000000000000000000000000 -1669630895561648382988568183/500000000000000000000000000 -1057181023269218538268858893/1000000000000000000000000000 2165999490107181715744361851/1000000000000000000000000000 -265006138267483220837833337/125000000000000000000000000 -1691756447275010559372219/5000000000000000000000000
-178432457826178943251414831/1000000000000000000000000000 -4201053574791443775855121081/1000000000000000000000000000 489966154036214371291182743/500000000000000000000000000 -936659086116252029025590451/1000000000000000000000000000 972548082458104505343648031/500000000000000000000000000 29701045427036022619006527/50000000000000000000000000 67519014394903975551869861/100000000000000000000000000 502664790165240202672577987/125000000000000000000000000 1333623850276240754489959509/1000000000000000000000000000 -265006138267483220837833337/125000000000000000000000000 1282065181909954730958219407/500000000000000000000000000 463779641791478818784473389/1000000000000000000000000000
-36627264622824690159985191/250000000000000000000000000 -550270104667967748959702659/1000000000000000000000000000 543090562367281057996773/10000000000000000000000000 -118380302227303787085235209/500000000000000000000000000 148601150418584310254272283/1000000000000000000000000000 300984283808029899562520961/1000000000000000000000000000 -50065662544860937637587651/1000000000000000000000000000 355696019086533386280196313/500000000000000000000000000 2278186835911481144419589/7812500000000000000000000 -1691756447275010559372219/5000000000000000000000000 463779641791478818784473389/1000000000000000000000000000 186317315989827360487320101/500000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
864848365707652233421049897/1000000000000000000000000000 1368071117164285466297926227/1000000000000000000000000000 232154222935606559200020757/200000000000000000000000000 24612624887280500998308279/500000000000000000000000000
1368071117164285466297926227/1000000000000000000000000000 2164100269863730045759038009/1000000000000000000000000000 1836180189032596754354045151/1000000000000000000000000000 7786757277713379578516289/100000000000000000000000000
232154222935606559200020757/200000000000000000000000000 1836180189032596754354045151/1000000000000000000000000000 1557948923876842536212640503/1000000000000000000000000000 33034257990832674449773443/500000000000000000000000000
24612624887280500998308279/500000000000000000000000000 7786757277713379578516289/100000000000000000000000000 33034257990832674449773443/500000000000000000000000000 269505923251494379707588321/250000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
2797692868626542740344491361/1000000000000000000000000000 -777500562674966059031751633/1000000000000000000000000000 -191087965218434342346159449/250000000000000000000000000 314661829086770664651884487/200000000000000000000000000 826039201414477830395231433/1000000000000000000000000000 -1489479357880134266091659497/1000000000000000000000000000 -142934394533199790141316961/200000000000000000000000000 -111196634858912651555556653/250000000000000000000000000 -49566411575610504834678609/62500000000000000000000000 -1053164804603545382542334509/1000000000000000000000000000
-777500562674966059031751633/1000000000000000000000000000 616677704914244686046808289/500000000000000000000000000 -187188207069577143360509993/500000000000000000000000000 59076996559873784613650667/250000000000000000000000000 459419779428834626110121123/1000000000000000000000000000 -9344344242434798641272071/200000000000000000000000000 -480563118087633466832199551/1000000000000000000000000000 -741206654663189917100368343/1000000000000000000000000000 220121598504353845465555599/1000000000000000000000000000 -776906630747124995526759987/1000000000000000000000000000
-191087965218434342346159449/250000000000000000000000000 -187188207069577143360509993/500000000000000000000000000 93295240600466857079031079/62500000000000000000000000 -833532888355930815211492111/500000000000000000000000000 -6476646440777834195645989/12500000000000000000000000 131115148171525692678769509/125000000000000000000000000 333986176756894710451344401/250000000000000000000000000 -137961480448118755391224263/500000000000000000000000000 -86535280786918625977998197/500000000000000000000000000 296756167775096245939418231/250000000000000000000000000
314661829086770664651884487/200000000000000000000000000 59076996559873784613650667/250000000000000000000000000 -833532888355930815211492111/500000000000000000000000000 1537247720488723879113047381/500000000000000000000000000 452711894648517314617825323/1000000000000000000000000000 -575526062030849276901790819/200000000000000000000000000 -1373795675480361981329884643/1000000000000000000000000000 -49176103258896153381912377/1000000000000000000000000000 -4027229966956272324300627/200000000000000000000000000 -1181108444208174224746677363/1000000000000000000000000000
826039201414477830395231433/1000000000000000000000000000 459419779428834626110121123/1000000000000000000000000000 -6476646440777834195645989/12500000000000000000000000 452711894648517314617825323/1000000000000000000000000000 1284025028261968768291375303/1000000000000000000000000000 -178133414155424449669425157/1000000000000000000000000000 -644985404897683259204045069/1000000000000000000000000000 -20118570118099765939333991/25000000000000000000000000 -23259568843395132824292361/62500000000000000000000000 -1145912583558985327024571027/1000000000000000000000000000
-1489479357880134266091659497/1000000000000000000000000000 -9344344242434798641272071/200000000000000000000000000 131115148171525692678769509/125000000000000000000000000 -575526062030849276901790819/200000000000000000000000000 -178133414155424449669425157/1000000000000000000000000000 627922079590100582161134169/200000000000000000000000000 772504828462731431178203073/1000000000000000000000000000 246800637790535264009009/781250000000000000000000 39750341407242465804542751/250000000000000000000000000 626955665495098584588709853/1000000000000000000000000000
-142934394533199790141316961/200000000000000000000000000 -480563118087633466832199551/1000000000000000000000000000 333986176756894710451344401/250000000000000000000000000 -1373795675480361981329884643/1000000000000000000000000000 -644985404897683259204045069/1000000000000000000000000000 772504828462731431178203073/1000000000000000000000000000 1252222432334598622994781607/1000000000000000000000000000 -2968870322790778026965743/125000000000000000000000000 -2361777905573825468665437/25000000000000000000000000 1263761925186276520114264889/1000000000000000000000000000
-111196634858912651555556653/250000000000000000000000000 -741206654663189917100368343/1000000000000000000000000000 -137961480448118755391224263/500000000000000000000000000 -49176103258896153381912377/1000000000000000000000000000 -20118570118099765939333991/25000000000000000000000000 246800637790535264009009/781250000000000000000000 -2968870322790778026965743/125000000000000000000000000 1656616097542634131677410737/1000000000000000000000000000 493555571258073237492742419/1000000000000000000000000000 199318757304017250353358229/250000000000000000000000000
-49566411575610504834678609/62500000000000000000000000 220121598504353845465555599/1000000000000000000000000000 -86535280786918625977998197/500000000000000000000000000 -4027229966956272324300627/200000000000000000000000000 -23259568843395132824292361/62500000000000000000000000 39750341407242465804542751/250000000000000000000000000 -2361777905573825468665437/25000000000000000000000000 493555571258073237492742419/1000000000000000000000000000 491687888539571272634349161/1000000000000000000000000000 10562868019393280135488907/50000000000000000000000000
-1053164804603545382542334509/1000000000000000000000000000 -776906630747124995526759987/1000000000000000000000000000 296756167775096245939418231/250000000000000000000000000 -1181108444208174224746677363/1000000000000000000000000000 -1145912583558985327024571027/1000000000000000000000000000 626955665495098584588709853/1000000000000000000000000000 1263761925186276520114264889/1000000000000000000000000000 199318757304017250353358229/250000000000000000000000000 10562868019393280135488907/50000000000000000000000000 1746868074284290715898956387/1000000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
302737430491171827586528691/1000000000000000000000000000 941518509724759398099419781/1000000000000000000000000000 189616270651206669674790393/1000000000000000000000000000 -171824817504175267241119933/200000000000000000000000000 2868308057977250842190221/12500000000000000000000000 176262124330800589147250201/1000000000000000000000000000
941518509724759398099419781/1000000000000000000000000000 732034607280071672914524423/250000000000000000000000000 589709797555092855927513789/1000000000000000000000000000 -1335945193891191396934306761/500000000000000000000000000 356819455565407738270948563/500000000000000000000000000 54817817645209105978084779/100000000000000000000000000
189616270651206669674790393/1000000000000000000000000000 589709797555092855927513789/1000000000000000000000000000 248149673530978641094282979/200000000000000000000000000 -538102954188339191893282157/1000000000000000000000000000 35930666280277034193952889/250000000000000000000000000 135852690966004640609754397/1000000000000000000000000000
-171824817504175267241119933/200000000000000000000000000 -1335945193891191396934306761/500000000000000000000000000 -538102954188339191893282157/1000000000000000000000000000 243806719427151265489681527/100000000000000000000000000 -325593374963964669234204687/500000000000000000000000000 -250102929911595545278779461/500000000000000000000000000
2868308057977250842190221/12500000000000000000000000 356819455565407738270948563/500000000000000000000000000 35930666280277034193952889/250000000000000000000000000 -325593374963964669234204687/500000000000000000000000000 8696318630553632918432783/50000000000000000000000000 66800338604749446615755131/500000000000000000000000000
176262124330800589147250201/1000000000000000000000000000 54817817645209105978084779/100000000000000000000000000 135852690966004640609754397/1000000000000000000000000000 -250102929911595545278779461/500000000000000000000000000 66800338604749446615755131/500000000000000000000000000 139783198701046900774433759/500000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
5556599841214053000117419/25000000000000000000000000 -14955118947181797076154547/500000000000000000000000000 14144360036835889285218893/250000000000000000000000000 1065879077979406257840041/25000000000000000000000000 38260746401901121481807311/500000000000000000000000000 19913760027818716961989181/250000000000000000000000000 -17153718743353695663544039/125000000000000000000000000 -104029577658291386107173517/500000000000000000000000000 9537122279142108224377653/250000000000000000000000000
-14955118947181797076154547/500000000000000000000000000 10177215659567828515923083/1000000000000000000000000000 955047072551422263684477/125000000000000000000000000 -27696678337220633795601137/1000000000000000000000000000 -718675772545754284626007/20000000000000000000000000 -31179903566435678122255917/1000000000000000000000000000 490488778430425615348677/10000000000000000000000000 34496290773615641459922357/1000000000000000000000000000 -12676984937201170117270847/500000000000000000000000000
14144360036835889285218893/250000000000000000000000000 955047072551422263684477/125000000000000000000000000 13055894666562457109254283/250000000000000000000000000 -21797083281045240772054547/500000000000000000000000000 -4408534560872425395513961/100000000000000000000000000 -15227548740137877558461237/500000000000000000000000000 511178190806770920730247/12500000000000000000000000 -4606380776809903060771837/125000000000000000000000000 -5053080208703982482911461/125000000000000000000000000
1065879077979406257840041/25000000000000000000000000 -27696678337220633795601137/1000000000000000000000000000 -21797083281045240772054547/500000000000000000000000000 1731169413100986235894907/20000000000000000000000000 106183108736442976636754371/1000000000000000000000000000 22077698706943351919881853/250000000000000000000000000 -33870153754542782830022729/250000000000000000000000000 -63102576552409875775285967/1000000000000000000000000000 39745486051393147257046763/500000000000000000000000000
38260746401901121481807311/500000000000000000000000000 -718675772545754284626007/20000000000000000000000000 -4408534560872425395513961/100000000000000000000000000 106183108736442976636754371/1000000000000000000000000000 133171702911406475959258663/1000000000000000000000000000 112683819743664554720828297/1000000000000000000000000000 -5458768794721723798862839/31250000000000000000000000 -49353349485923722461906241/500000000000000000000000000 304350797872487828477219/3125000000000000000000000
19913760027818716961989181/250000000000000000000000000 -31179903566435678122255917/1000000000000000000000000000 -15227548740137877558461237/500000000000000000000000000 22077698706943351919881853/250000000000000000000000000 112683819743664554720828297/1000000000000000000000000000 48297053748076590428875663/500000000000000000000000000 -37722032423459746432600553/250000000000000000000000000 -96173810955989518584149651/1000000000000000000000000000 40459789938886400967517563/500000000000000000000000000
-17153718743353695663544039/125000000000000000000000000 490488778430425615348677/10000000000000000000000000 511178190806770920730247/12500000000000000000000000 -33870153754542782830022729/250000000000000000000000000 -5458768794721723798862839/31250000000000000000000000 -37722032423459746432600553/250000000000000000000000000 14796665785477365882674663/62500000000000000000000000 40189580956791420741050243/250000000000000000000000000 -3101660450043604314629337/25000000000000000000000000
-104029577658291386107173517/500000000000000000000000000 34496290773615641459922357/1000000000000000000000000000 -4606380776809903060771837/125000000000000000000000000 -63102576552409875775285967/1000000000000000000000000000 -49353349485923722461906241/500000000000000000000000000 -96173810955989518584149651/1000000000000000000000000000 40189580956791420741050243/250000000000000000000000000 201624586880077335032586251/1000000000000000000000000000 -28533036239917798037699073/500000000000000000000000000
9537122279142108224377653/250000000000000000000000000 -12676984937201170117270847/500000000000000000000000000 -5053080208703982482911461/125000000000000000000000000 39745486051393147257046763/500000000000000000000000000 304350797872487828477219/3125000000000000000000000 40459789938886400967517563/500000000000000000000000000 -3101660450043604314629337/25000000000000000000000000 -28533036239917798037699073/500000000000000000000000000 18251389576058354505142223/250000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
395443802533368635079497881/500000000000000000000000000 -252230947270953797/250000000000000000000000000 -290558964289421392240441007/500000000000000000000000000 290558964289421392240441007/500000000000000000000000000 290558965027310025065996271/500000000000000000000000000 12663800313638946648353909/250000000000000000000000000 92712892901390267/125000000000000000000000000
-252230947270953797/250000000000000000000000000 1927112308040104690129942931/1000000000000000000000000000 1093736023642939121817199393/1000000000000000000000000000 -1093736023642939121817199393/1000000000000000000000000000 1093736021093170454895199173/1000000000000000000000000000 2082074512122697051/1000000000000000000000000000 -300310167602790353447317417/1000000000000000000000000000
-290558964289421392240441007/500000000000000000000000000 1093736023642939121817199393/1000000000000000000000000000 1058298560790170727407007469/1000000000000000000000000000 -1058298560790170727407007469/1000000000000000000000000000 204326275990387887492083269/1000000000000000000000000000 -37219757293505369418051807/1000000000000000000000000000 -100274913528220352706790031/1000000000000000000000000000
290558964289421392240441007/500000000000000000000000000 -1093736023642939121817199393/1000000000000000000000000000 -1058298560790170727407007469/1000000000000000000000000000 1058298560790170727407007469/1000000000000000000000000000 -204326275990387887492083269/1000000000000000000000000000 37219757293505369418051807/1000000000000000000000000000 100274913528220352706790031/1000000000000000000000000000
290558965027310025065996271/500000000000000000000000000 1093736021093170454895199173/1000000000000000000000000000 204326275990387887492083269/1000000000000000000000000000 -204326275990387887492083269/1000000000000000000000000000 1058298561872654172782646041/1000000000000000000000000000 37219759708877816302374461/1000000000000000000000000000 -100274911856465482292428371/1000000000000000000000000000
12663800313638946648353909/250000000000000000000000000 2082074512122697051/1000000000000000000000000000 -37219757293505369418051807/1000000000000000000000000000 37219757293505369418051807/1000000000000000000000000000 37219759708877816302374461/1000000000000000000000000000 3244391994135538909605523/1000000000000000000000000000 -671954026119096977/1000000000000000000000000000
92712892901390267/125000000000000000000000000 -300310167602790353447317417/1000000000000000000000000000 -100274913528220352706790031/1000000000000000000000000000 100274913528220352706790031/1000000000000000000000000000 -100274911856465482292428371/1000000000000000000000000000 -671954026119096977/1000000000000000000000000000 512999772097116813964183379/1000000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
4533260756352849719576423317/500000000000000000000000000 74283398850107220406993533/31250000000000000000000000 -375392241216668771946552973/250000000000000000000000000 317445404418837490603862293/500000000000000000000000000 -105409812761642455153098051/250000000000000000000000000 62921642337917658769084023/500000000000000000000000000 -2775915857573512536005756651/500000000000000000000000000 -87067452560909233295742331/250000000000000000000000000 117390452393868948383817727/500000000000000000000000000 340520778655986249257260907/500000000000000000000000000 192894150608435794726910351/500000000000000000000000000 608759627300004709834589573/500000000000000000000000000
74283398850107220406993533/31250000000000000000000000 1989012018415680974665586847/1000000000000000000000000000 23482251586861036699752913/62500000000000000000000000 -35761352284716831404208103/250000000000000000000000000 -768392924775924276980050577/250000000000000000000000000 -536470506225695120533867581/500000000000000000000000000 -242916689100756338392995731/500000000000000000000000000 -195238745016980499365519699/500000000000000000000000000 5703931315306439920977521/250000000000000000000000000 -23175963346524944895783101/1000000000000000000000000000 -2018655728712377265741337/12500000000000000000000000 229502717280177978652119473/500000000000000000000000000
-375392241216668771946552973/250000000000000000000000000 23482251586861036699752913/62500000000000000000000000 127473541439167576235017801/125000000000000000000000000 -13975103371622582025553709/50000000000000000000000000 -199918590772384873329215009/125000000000000000000000000 -32192732832467699322410521/50000000000000000000000000 366443157005596337756435147/250000000000000000000000000 -13856580636901950568332419/125000000000000000000000000 -22540317521515617646622119/250000000000000000000000000 -56608727456925257735057909/250000000000000000000000000 -52961736174252856509662333/250000000000000000000000000 -30722523348430749026831461/250000000000000000000000000
317445404418837490603862293/500000000000000000000000000 -35761352284716831404208103/250000000000000000000000000 -13975103371622582025553709/50000000000000000000000000 11459492925983150898868413/100000000000000000000000000 160481406466910043278113029/250000000000000000000000000 129714067007145597389337873/500000000000000000000000000 -304263461140342470700906943/500000000000000000000000000 10851630964142770758824349/250000000000000000000000000 12609726400076682066738663/500000000000000000000000000 9340500642639232188646063/100000000000000000000000000 43265860916852047636802677/500000000000000000000000000 26789418275968385757727329/500000000000000000000000000
-105409812761642455153098051/250000000000000000000000000 -768392924775924276980050577/250000000000000000000000000 -199918590772384873329215009/125000000000000000000000000 160481406466910043278113029/250000000000000000000000000 805971606528798722889096451/125000000000000000000000000 598357030317764105924757687/250000000000000000000000000 -461411690949351453683000921/250000000000000000000000000 20788397046772016865101439/31250000000000000000000000 18281232403072142805059259/250000000000000000000000000 99115626853764614431109/244140625000000000000000 27592153087708583435059109/50000000000000000000000000 -89975176724798792587423977/250000000000000000000000000
62921642337917658769084023/500000000000000000000000000 -536470506225695120533867581/500000000000000000000000000 -32192732832467699322410521/50000000000000000000000000 129714067007145597389337873/500000000000000000000000000 598357030317764105924757687/250000000000000000000000000 56079139108736854512139351/62500000000000000000000000 -86230540930949900044432459/100000000000000000000000000 59353533410015700306957987/250000000000000000000000000 3462755202119722234291581/100000000000000000000000000 17280335503768661880386593/100000000000000000000000000 54505963492433702403530921/250000000000000000000000000 -9629854799410802977862939/100000000000000000000000000
-2775915857573512536005756651/500000000000000000000000000 -242916689100756338392995731/500000000000000000000000000 366443157005596337756435147/250000000000000000000000000 -304263461140342470700906943/500000000000000000000000000 -461411690949351453683000921/250000000000000000000000000 -86230540930949900044432459/100000000000000000000000000 2044091668790895545382590851/500000000000000000000000000 52693962810902736615911/62500000000000000000000000 -17127278874727763975184337/100000000000000000000000000 -70033436867719879996043707/125000000000000000000000000 -211358220808030805950938721/500000000000000000000000000 -323141096852035810148309973/500000000000000000000000000
-87067452560909233295742331/250000000000000000000000000 -195238745016980499365519699/500000000000000000000000000 -13856580636901950568332419/125000000000000000000000000 10851630964142770758824349/250000000000000000000000000 20788397046772016865101439/31250000000000000000000000 59353533410015700306957987/250000000000000000000000000 52693962810902736615911/62500000000000000000000000 19727209311477249655806387/250000000000000000000000000 -133240643908942581553251/250000000000000000000000000 9013743682068920785347317/500000000000000000000000000 1067755255881357825333497/25000000000000000000000000 -2418421555151482030544769/31250000000000000000000000
117390452393868948383817727/500000000000000000000000000 5703931315306439920977521/250000000000000000000000000 -22540317521515617646622119/250000000000000000000000000 12609726400076682066738663/500000000000000000000000000 18281232403072142805059259/250000000000000000000000000 3462755202119722234291581/100000000000000000000000000 -17127278874727763975184337/100000000000000000000000000 -133240643908942581553251/250000000000000000000000000 25278158736993175723252533/500000000000000000000000000 11678880196621729819803971/500000000000000000000000000 8719815400779714003373957/500000000000000000000000000 551259023143582654973379/20000000000000000000000000
340520778655986249257260907/500000000000000000000000000 -23175963346524944895783101/1000000000000000000000000000 -56608727456925257735057909/250000000000000000000000000 9340500642639232188646063/100000000000000000000000000 99115626853764614431109/244140625000000000000000 17280335503768661880386593/100000000000000000000000000 -70033436867719879996043707/125000000000000000000000000 9013743682068920785347317/500000000000000000000000000 11678880196621729819803971/500000000000000000000000000 80953715450668541388794747/1000000000000000000000000000 16942897364978478022999871/250000000000000000000000000 276589973417758417463943/3906250000000000000000000
192894150608435794726910351/500000000000000000000000000 -2018655728712377265741337/12500000000000000000000000 -52961736174252856509662333/250000000000000000000000000 43265860916852047636802677/500000000000000000000000000 27592153087708583435059109/50000000000000000000000000 54505963492433702403530921/250000000000000000000000000 -211358220808030805950938721/500000000000000000000000000 1067755255881357825333497/25000000000000000000000000 8719815400779714003373957/500000000000000000000000000 16942897364978478022999871/250000000000000000000000000 16730138983900152369468861/250000000000000000000000000 12462078508842128630774823/500000000000000000000000000
608759627300004709834589573/500000000000000000000000000 229502717280177978652119473/500000000000000000000000000 -30722523348430749026831461/250000000000000000000000000 26789418275968385757727329/500000000000000000000000000 -89975176724798792587423977/250000000000000000000000000 -9629854799410802977862939/100000000000000000000000000 -323141096852035810148309973/500000000000000000000000000 -2418421555151482030544769/31250000000000000000000000 551259023143582654973379/20000000000000000000000000 276589973417758417463943/3906250000000000000000000 12462078508842128630774823/500000000000000000000000000 88903075171739190689480099/500000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
6225541199938214651952074037/1000000000000000000000000000 19453524354170927530383457/25000000000000000000000000 550842436794265013389433067/200000000000000000000000000 93164322659720622740258773/62500000000000000000000000
19453524354170927530383457/25000000000000000000000000 9685195325565321143516769/25000000000000000000000000 177735732454745640393605613/200000000000000000000000000 148425902860035423943110049/200000000000000000000000000
550842436794265013389433067/200000000000000000000000000 177735732454745640393605613/200000000000000000000000000 1540349705233012365700797591/500000000000000000000000000 1702378325872923354877232781/1000000000000000000000000000
93164322659720622740258773/62500000000000000000000000 148425902860035423943110049/200000000000000000000000000 1702378325872923354877232781/1000000000000000000000000000 56865783030893015757802609/40000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 25079897/1000000000 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
16752971756137170017952431/125000000000000000000000000 -35615052673323603102651611/500000000000000000000000000 -7849209408964786120752489/250000000000000000000000000 -38844990749802691253091/125000000000000000000000000 38844990749802691253091/125000000000000000000000000 -31075990714231514238431/100000000000000000000000000 0/1 -20689803419300642078025497/500000000000000000000000000 20689803419300642078025497/500000000000000000000000000 -201330315335519877/500000000000000000000000000
-35615052673323603102651611/500000000000000000000000000 67011886966682799172987331/500000000000000000000000000 -1255873496301172981280317/40000000000000000000000000 310759848905590046754613/1000000000000000000000000000 -310759848905590046754613/1000000000000000000000000000 310759893880126506929487/1000000000000000000000000000 0/1 2586225430655975782808853/62500000000000000000000000 -2586225430655975782808853/62500000000000000000000000 -15004255933590237/20000000000000000000000000
-7849209408964786120752489/250000000000000000000000000 -1255873496301172981280317/40000000000000000000000000 134023774205808599479299659/1000000000000000000000000000 -310759782084245554097091/1000000000000000000000000000 310759782084245554097091/1000000000000000000000000000 155379954082807732427283/500000000000000000000000000 0/1 -20035790421467627/1000000000000000000000000000 20035790421467627/1000000000000000000000000000 -8275921107951368619970047/200000000000000000000000000
-38844990749802691253091/125000000000000000000000000 310759848905590046754613/1000000000000000000000000000 -310759782084245554097091/1000000000000000000000000000 16887095263352952272551/1000000000000000000000000000 -16887095263352952272551/1000000000000000000000000000 -7337569113929/100000000000000000000000000 0/1 1124310905746757759371711/1000000000000000000000000000 -1124310905746757759371711/1000000000000000000000000000 1124310964974155531885259/1000000000000000000000000000
38844990749802691253091/125000000000000000000000000 -310759848905590046754613/1000000000000000000000000000 310759782084245554097091/1000000000000000000000000000 -16887095263352952272551/1000000000000000000000000000 16887095263352952272551/1000000000000000000000000000 7337569113929/100000000000000000000000000 0/1 -1124310905746757759371711/1000000000000000000000000000 1124310905746757759371711/1000000000000000000000000000 -1124310964974155531885259/1000000000000000000000000000
-31075990714231514238431/100000000000000000000000000 310759893880126506929487/1000000000000000000000000000 155379954082807732427283/500000000000000000000000000 -7337569113929/100000000000000000000000000 7337569113929/100000000000000000000000000 4221774634815476425079/250000000000000000000000000 0/1 224862211814812169829507/200000000000000000000000000 -224862211814812169829507/200000000000000000000000000 -1124311036137088033274913/1000000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
-20689803419300642078025497/500000000000000000000000000 2586225430655975782808853/62500000000000000000000000 -20035790421467627/1000000000000000000000000000 1124310905746757759371711/1000000000000000000000000000 -1124310905746757759371711/1000000000000000000000000000 224862211814812169829507/200000000000000000000000000 0/1 74854499743132374925496249/500000000000000000000000000 -74854499743132374925496249/500000000000000000000000000 -106298733830124537/250000000000000000000000000
20689803419300642078025497/500000000000000000000000000 -2586225430655975782808853/62500000000000000000000000 20035790421467627/1000000000000000000000000000 -1124310905746757759371711/1000000000000000000000000000 1124310905746757759371711/1000000000000000000000000000 -224862211814812169829507/200000000000000000000000000 0/1 -74854499743132374925496249/500000000000000000000000000 74854499743132374925496249/500000000000000000000000000 106298733830124537/250000000000000000000000000
-201330315335519877/500000000000000000000000000 -15004255933590237/20000000000000000000000000 -8275921107951368619970047/200000000000000000000000000 1124310964974155531885259/1000000000000000000000000000 -1124310964974155531885259/1000000000000000000000000000 -1124311036137088033274913/1000000000000000000000000000 0/1 -106298733830124537/250000000000000000000000000 106298733830124537/250000000000000000000000000 74854501508783463974319153/500000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
15608799692426281929871157/100000000000000000000000000 35251443926908121977021867/500000000000000000000000000 3120124734066595421617129/7812500000000000000000000 8237930158700585500967131/250000000000000000000000000 -146334543138764968052241127/250000000000000000000000000 -77360117722774034074553417/250000000000000000000000000
35251443926908121977021867/500000000000000000000000000 22299438008026345730486377/500000000000000000000000000 30678276218027769602761399/125000000000000000000000000 3703984298394551364749647/250000000000000000000000000 -21262585460435237785705657/62500000000000000000000000 -37613465771106230702373677/250000000000000000000000000
3120124734066595421617129/7812500000000000000000000 30678276218027769602761399/125000000000000000000000000 338371173077339587993688279/250000000000000000000000000 20991470156375338750848151/250000000000000000000000000 -942130081640578452983804303/500000000000000000000000000 -211557715756270058694199121/250000000000000000000000000
8237930158700585500967131/250000000000000000000000000 3703984298394551364749647/250000000000000000000000000 20991470156375338750848151/250000000000000000000000000 1739198998173895606131833/250000000000000000000000000 -12316694130515168165528519/100000000000000000000000000 -16317262231938805411912519/250000000000000000000000000
-146334543138764968052241127/250000000000000000000000000 -21262585460435237785705657/62500000000000000000000000 -942130081640578452983804303/500000000000000000000000000 -12316694130515168165528519/100000000000000000000000000 2645698987528441550313906767/1000000000000000000000000000 611962643930452156031616437/500000000000000000000000000
-77360117722774034074553417/250000000000000000000000000 -37613465771106230702373677/250000000000000000000000000 -211557715756270058694199121/250000000000000000000000000 -16317262231938805411912519/250000000000000000000000000 611962643930452156031616437/500000000000000000000000000 155601880537508893383546329/250000000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
680184493976174785657271/200000000000000000000000000 1464103734586877566083581/1000000000000000000000000000 -2432513101278390708509701/1000000000000000000000000000 6203281866613017405007477/1000000000000000000000000000 -6203281866613017405007477/1000000000000000000000000000 6203281796190963444813593/1000000000000000000000000000 -317641907804940185548417/200000000000000000000000000 -2474244252093410835491847/250000000000000000000000000 7046150850698783494944543/1000000000000000000000000000 142541304084237248164359/100000000000000000000000000
1464103734586877566083581/1000000000000000000000000000 680184494058991651296531/200000000000000000000000000 -2432513116817781185358343/1000000000000000000000000000 -6203281974991794297438997/1000000000000000000000000000 6203281974991794297438997/1000000000000000000000000000 -6203281664303615676618137/1000000000000000000000000000 -1588209524431452014951583/1000000000000000000000000000 176153771065742374846099/25000000000000000000000000 -9896976994283758591130903/1000000000000000000000000000 712706634249197764664333/500000000000000000000000000
-2432513101278390708509701/1000000000000000000000000000 -2432513116817781185358343/1000000000000000000000000000 3400922487339497066730789/1000000000000000000000000000 1240656382224730345475089/200000000000000000000000000 -1240656382224730345475089/200000000000000000000000000 -6203281800028533817913423/1000000000000000000000000000 1588209527198251733922667/1000000000000000000000000000 178176625817094653795353/125000000000000000000000000 1425413156829013822002281/1000000000000000000000000000 -2474244262268176187772247/250000000000000000000000000
6203281866613017405007477/1000000000000000000000000000 -6203281974991794297438997/1000000000000000000000000000 1240656382224730345475089/200000000000000000000000000 79471981774455081475141219/1000000000000000000000000000 -79471981774455081475141219/1000000000000000000000000000 541695970142803967/1000000000000000000000000000 -68874309360669299/1000000000000000000000000000 -13566447501843389837086341/250000000000000000000000000 54265790056180037255049969/1000000000000000000000000000 -27132894643668913613637327/500000000000000000000000000
-6203281866613017405007477/1000000000000000000000000000 6203281974991794297438997/1000000000000000000000000000 -1240656382224730345475089/200000000000000000000000000 -79471981774455081475141219/1000000000000000000000000000 79471981774455081475141219/1000000000000000000000000000 -541695970142803967/1000000000000000000000000000 68874309360669299/1000000000000000000000000000 13566447501843389837086341/250000000000000000000000000 -54265790056180037255049969/1000000000000000000000000000 27132894643668913613637327/500000000000000000000000000
6203281796190963444813593/1000000000000000000000000000 -6203281664303615676618137/1000000000000000000000000000 -6203281800028533817913423/1000000000000000000000000000 541695970142803967/1000000000000000000000000000 -541695970142803967/1000000000000000000000000000 15894395803516542933994991/200000000000000000000000000 -33145180792889407/1000000000000000000000000000 -13566447060410640616639761/250000000000000000000000000 54265788138939083944927341/1000000000000000000000000000 27132893810603743339430241/500000000000000000000000000
-317641907804940185548417/200000000000000000000000000 -1588209524431452014951583/1000000000000000000000000000 1588209527198251733922667/1000000000000000000000000000 -68874309360669299/1000000000000000000000000000 68874309360669299/1000000000000000000000000000 -33145180792889407/1000000000000000000000000000 1036956189156037092180327/1000000000000000000000000000 29083281188162617227877/31250000000000000000000000 930664861944249749280827/1000000000000000000000000000 -465332451261124488154283/500000000000000000000000000
-2474244252093410835491847/250000000000000000000000000 176153771065742374846099/25000000000000000000000000 178176625817094653795353/125000000000000000000000000 -13566447501843389837086341/250000000000000000000000000 13566447501843389837086341/250000000000000000000000000 -13566447060410640616639761/250000000000000000000000000 29083281188162617227877/31250000000000000000000000 3747189977438294246810371/50000000000000000000000000 -18318315449725457755576129/250000000000000000000000000 -104408474476701778788101/125000000000000000000000000
7046150850698783494944543/1000000000000000000000000000 -9896976994283758591130903/1000000000000000000000000000 1425413156829013822002281/1000000000000000000000000000 54265790056180037255049969/1000000000000000000000000000 -54265790056180037255049969/1000000000000000000000000000 54265788138939083944927341/1000000000000000000000000000 930664861944249749280827/1000000000000000000000000000 -18318315449725457755576129/250000000000000000000000000 14988759896197802802766381/200000000000000000000000000 -1044087522647887020047/1250000000000000000000000
142541304084237248164359/100000000000000000000000000 712706634249197764664333/500000000000000000000000000 -2474244262268176187772247/250000000000000000000000000 -27132894643668913613637327/500000000000000000000000000 27132894643668913613637327/500000000000000000000000000 27132893810603743339430241/500000000000000000000000000 -465332451261124488154283/500000000000000000000000000 -104408474476701778788101/125000000000000000000000000 -1044087522647887020047/1250000000000000000000000 37471899362915465086860649/500000000000000000000000000

